formal detection
英 [ˈfɔːml dɪˈtekʃn]
美 [ˈfɔːrml dɪˈtekʃn]
【计】形式检测
双语例句
- Thirdly, based on the model of IN services lifecycle, and the character of software engineering approach and formal method, the thesis give a model of service interaction detection by stages.
第三，在业务生命周期模型的基础上，结合软件工程方法和形式化方法各自的特点，提出了一种业务冲突分层检测模型。 - Apparently, applying formal specification to the procedure of developing an intrusion detection system can fulfill its security requirement and win the confidence of users.
在入侵检测系统的开发过程中应用形式化的规格说明方法，可保证所开发的系统能够满足系统的安全需求，增强用户对所实现系统的信任。 - Formal specification of IN services and feature interaction detection based on INAP
基于INAP的智能业务形式化描述和冲突检测 - Formal Model for Runtime Detection of Feature Interaction
特征交互动态检测的形式模型 - Preparatory experiments are made to validate IOR with the time parameters of the formal experiments 'needs respectively in detection tasks and in discrimination tasks.
预实验采用辨别任务和检测任务，分别验证正式实验所需时间参数下的IOR效应。 - This thesis gave a formal description of this immune entity and discussed its structure, detection process and updating mechanism of detectors. And we also analyzed correlative parameters.
论文对免疫体进行了形式化描述，详细介绍了免疫体各功能模块的构造算法、检测过程及检测器更新机制，对相关参数进行了分析。 - The formal research on this topic usually depends on prior information, while iterative scheme of weighted basis pursuit can efficiently solve this problem, and also control the influence of noise to ensure the accuracy of detection.
以往针对异常事件检测的研究往往依赖于一定的先验信息，而基于循环迭代自适应的加权基追踪方法可以有效解决这一问题，抑制噪声的影响并保证检测的准确性。 - A formal definition of conflict is made and the detection algorithm is proposed and tested.
其次对关联冲突进行了形式化定义，并提出了检测算法，并对算法进行了实验验证。